submitted to the Workshop on Formal Design Techniques for Real Time UML
نویسندگان
چکیده
The formal language LOTOS [1] describes distributed systems by the temporal ordering of interactions between architectural components named “process”. LOTOS supports composition operators for architectural design and process refinement, rendezvous communication, and a black-box d escription style. With its verification and testing framework based on Labelled Transition Systems, LOTOS helps building abstract, secured and testable components that can be specialised for implementation purposes.
منابع مشابه
Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملValidating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
Object-oriented development of real-time systems is becoming more and more prevalent. Unified Modeling Language (UML) is a standardized notation for describing object-oriented software design. While using UML to specify real-time systems, the formal validation of certain timing constraints becomes critical for the success of object-oriented development of real-time systems. Current development ...
متن کاملUML and the Tasks Specific to Real-Time Development
The use of UML for developing real-time systems is rapidly gaining attention from the industry. The future release of a response to the OMG RFP for a “UML profile for performance, scheduling and time” [1] will probably boost the acceptance of UML by the real-time development community. The team formed inside OMG’s Real-Time Analysis and Design working group, preparing the response to the above ...
متن کاملClass and Capsule Refinement in UML for Real Time
We propose refinement laws for the top level design elements of Real Time UML (UML-RT): classes and capsules. These laws can be used to develop concrete design models from abstract analysis models. Laws for introducing and decomposing classes and capsules are presented. Standard data refinement techniques are adapted for classes, and process refinement techniques for capsules. We also propose t...
متن کاملVerification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams and statecharts. Real-time aspects of behaviors can be described by time constraints. The semantics of the UML, however, is non-formal. In order to enable formal design verification, we therefore propose to complement th...
متن کامل